Localities in systems with a/sync communication

Localities and a/sync places are two recent extensions to the Petri net model. Whereas localities have been introduced as a modelling tool for membrane systems and more general GALS (globally asynchronous locally synchronous) systems, a/sync places make it possible to model synchronous communication between transitions. We investigate the interaction between locally synchronous execution and synchronous communication. Our focus is in particular on the causalities in the concurrent runs of a new Petri net model combining these features. About the authors Jetty Kleijn is a visiting fellow within the School of Computing Science, Newcastle University. Maciej Koutny obtained his MSc (1982) and PhD (1984) from the Warsaw University of Technology. In 1985 he joined the then Computing Laboratory of the University of Newcastle upon Tyne to work as a Research Associate. In 1986 he became a Lecturer in Computing Science at Newcastle, and in 1994 was promoted to an established Readership at Newcastle. In 2000 he became a Professor of Computing Science. Suggested keywords CONCURRENCY PLACE TRANSITION NET LOCALITY SYNCHRONOUS AND ASYNCHRONOUS COMMUNICATION PROCESS SEMANTICS OCCURRENCE NET BARB-EVENT A/SYNC PLACE Localities in Systems with a/sync Communication Jetty Kleijn and Maciej Koutny 1 LIACS, Leiden University P.O.Box 9512, NL-2300 RA Leiden, The Netherlands [email protected] 2 School of Computing Science, Newcastle University Newcastle upon Tyne, NE1 7RU, United Kingdom [email protected] Abstract. Localities and a/sync places are two recent extensions to the Petri net model. Whereas localities have been introduced as a modelling tool for membrane systems and more general GALS (globally asynchronous locally synchronous) systems, a/sync places make it possible to model synchronous communication between transitions. We investigate the interaction between locally synchronous execution and synchronous communication. Our focus is in particular on the causalities in the concurrent runs of a new Petri net model combining these features.